81. Computable analysis: an introduction
المؤلف: Weihrauch, K. )Klaus(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
82. Computable economics
المؤلف: / Kumaraswamy Velupillai
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Economics, Mathematical.,Induction (Mathematics),Recursion theory.
رده :
HB
,
135
,.
V42
,
2000
83. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
84. Computational logic
المؤلف: edited by Ulrich Berger, Helmut Schwichtenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.
رده :
QA76
.
9
.
L63
E358
1999
85. Computational prospects of infinity
المؤلف: editors, Chitat Chong ... ]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Infinite
رده :
QA
248
.
W582
2005
86. Computer Algebra :
المؤلف: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
87. Computing with foresight and industry :
المؤلف: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
88. Constraint Solving and Language Processing
المؤلف: edited by Denys Duchier, Yannick Parmentier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
89. Continuous advances in QCD 2008 :
المؤلف: editor, M. Peloso.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quantum chromodynamics, Congresses.,Quantum chromodynamics.,TECHNOLOGY & ENGINEERING-- Power Resources-- Nuclear.
رده :
QC793
.
3
.
Q35
C64
2008eb
90. Deep learning: how the mind overrides experience
المؤلف: Ohlsson, Stellan
المکتبة: (قم)
موضوع: ، Learning, Psychology of,، Cognitive learning theory,، Mind and body,، Experience
رده :
BF
318
.
O45
2011
91. Descriptive set theory /
المؤلف: Yiannis N. Moschovakis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
رده :
QA248
.
M66
1980eb
92. Diagonalization and self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
93. Diagonalization and self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
94. Diagonalization and self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: (طهران)
موضوع: Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
95. Diagonalization and self-reference
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
96. Diagonalization & self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
97. Discrete mathematics /
المؤلف: Seymour Lipschutz, Marc Lars Lipson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
رده :
QA162
.
L767
2007
98. Discrete mathematics and its applications /
المؤلف: Kenneth H. Rosen, Monmouth University, and formerly AT&T Laboratories.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Mathematics.,Computer science-- Mathematics.,Mathematics.
رده :
QA39
.
3
.
R67
2019
99. Discrete mathematics using a computer
المؤلف: Cordelia Hall and John O'Donnell.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Diskrete Mathematik,HASKELL,Mathematics -- Data processing.
100. Discrete mathematics with proof
المؤلف: Eric Gossett.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA39
.
3
E753
2003
